					<ul>
						<li><a class="<?php if( isset($highlight) && $highlight === 'users' )  echo 'highlight' ?>" href="/portal/users">My Profile</a></li>
						<li><a class="<?php if( isset($highlight) && $highlight === 'courses' )  echo 'highlight' ?>" href="/profs">Manage Courses</a></li>
					</ul>